Real root finding for determinants of linear matrices
نویسندگان
چکیده
منابع مشابه
Real root finding for determinants of linear matrices
Let A0, A1, . . . , An be given square matrices of size m with rational coefficients. The paper focuses on the exact computation of one point in each connected component of the real determinantal variety {x ∈ Rn : det(A0 +x1A1 + · · ·+xnAn) = 0}. Such a problem finds applications in many areas such as control theory, computational geometry, optimization, etc. Using standard complexity results t...
متن کاملReal root finding for low rank linear matrices
The problem of finding low rank m × m matrices in a real affine subspace of dimension n has many applications in information and systems theory, where low rank is synonymous of structure and parcimony. We design a symbolic computation algorithm to solve this problem efficiently, exactly and rigorously: the input are the rational coefficients of the matrices spanning the affine subspace as well ...
متن کاملInvolution Matrices of Real Quaternions
An involution or anti-involution is a self-inverse linear mapping. In this paper, we will present two real quaternion matrices, one corresponding to a real quaternion involution and one corresponding to a real quaternion anti-involution. Moreover, properties and geometrical meanings of these matrices will be given as reflections in R^3.
متن کاملFinding Extremal Complex Polytope Norms for Families of Real Matrices
In this paper we consider finite families F of real n×n-matrices. In particular, we focus on the computation of the joint spectral radius ρ(F ) via the detection of an extremal norm in the class of complex polytope norms, whose unit balls are balanced complex polytopes with a finite essential system of vertices. Such a finiteness property is very useful in view of the construction of efficient ...
متن کاملReal Root Isolation for Non-linear Functions
The approaches that we have seen so far, strongly rely on the fact that the input is a polynomial, i.e., has some algebraic structure. However, occasionally we may want to isolate the real roots of a continuos function f : R → R, which is given to us as a black box that we can query at a value x ∈ R and get f(x) in return. How do we isolate the real roots of f in this model? From the continuity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2016
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2015.06.010